IdiomBracketsNotInScope.agda:12,10-21
_<*>_ needs to be in scope to use idiom brackets (| ... |)
when scope checking (| suc a |)
